منابع مشابه
Fabian Van Den Broek
Software contains bugs and bugs cost money. A good way to find some bugs quickly is the use of static code analysis. There are no exact numbers on the use of static code analyzers in the industry, but in our experience to few software developers actually make use of them. This thesis describes a survey that was conducted to find out why only so few developers in the Java community use static co...
متن کاملLösungen Zu Den Übungsaufgaben
. () Angenommen, es gibt a 6= b ∈ A mit g(f(a)) = g(f(b)). Da f injektiv ist, gilt f(a) 6= f(b). Dann muss aber auch g(f(a)) 6= g(f(b)) gelten, da g injektiv ist. () und () folgen analog. () Würde es f(a) = f(b) für a 6= b ∈ A gelten, so sollte auch g(f(a)) = g(f(b)) gelten, ein Widerspruch zu der Injektivität von g ◦ f . () und () folgen analog. Beispiel: Wir betrachten die Mengen A = ...
متن کاملDen Essen And
Let z = (z1, · · · , zn) and ∆ = ∑n i=1 ∂ 2 ∂z i the Laplace operator. A formal power series P (z) is said to be Hessian Nilpotent(HN) if its Hessian matrix HesP (z) = ( ∂ 2 P ∂zi∂zj ) is nilpotent. In recent developments in [BE1], [M] and [Z], the Jacobian conjecture has been reduced to the following so-called vanishing conjecture(VC) of HN polynomials: for any homogeneous HN polynomial P (z) ...
متن کاملBericht über den Workshop
Mit dem Einzug modellgetriebener Entwicklungsansätze ist die Bedeutung diagrammartiger Dokumente, beispielsweise von Modellen in UML-Notationen, für die Softwaretechnik noch wichtiger geworden. Durch den zunehmenden Einsatz von Modellen in der Softwareentwicklung entsteht in vielen Kontexten der Bedarf, Versionen von Modellen zu bilden und Modelle zu vergleichen, die Ähnlichkeit von Modellen zu...
متن کاملD Oktorandský Den ’ 04
The paper is a short overview of the generalization of Groenendijk-Stokhof’s system of erotetic logic(also known as the partition semantics of questions) to fuzzy questions. Fuzzy intensional semantics,necessary for Groenendijk-Stokhof’s system, is developed within Henkin-style second-order fuzzy logic,which is introduced first. Our attention is restricted to fuzzy yes-no questions.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Geologist
سال: 1863
ISSN: 1359-4656
DOI: 10.1017/s1359465600001805